This study used a path analytic approach to examine the composite interaction of supervisory and records management with secondary school system effectiveness in terms of students' academic performance, teachers' job effectiveness and principals' administrative effectiveness. Two research questions were answered while one null hypothesis was tested. The study adopted a factorial research design. Convenience sampling technique was adopted by the researchers in selecting a sample of 1,200 respondents which comprised 271 principals and 929 teachers from a population of 271 principals, (...) and 4,878 teachers. Principal Innovative Management Practices and Administrative Effectiveness Questionnaire (PIMPAEQ), Teachers work effectiveness questionnaire (TWEQ), and Students Mathematics Achievement Test (SMAT) were all used as instruments for data collection. Collected data were analyzed using descriptive statistics, the research questions and null hypothesis were answered and tested (at .05 level of significance) respectively using multiple regression and path analyses with the aid of SPSS v25 and Amos v22. Findings from the study established amongst others that; supervisory management and records management practices have a significant joint contribution to students’ academic performance by 66.4%, teachers’ job effectiveness by 71%, and principals’ administrative effectiveness by 86.8%. Supervisory management and records management practices had a significant influence on students’ academic performance (F= 1183.641, p<.05), teachers’ job effectiveness (F= 1465.615, p<.05), and principals’ administrative effectiveness (F=3924.763, p<.05). It was recommended amongst others that; secondary school principals should jointly use supervisory and records management practices as innovative techniques for improving students’ academic performance, teachers’ job effectiveness and their own administrative effectiveness. KEYWORDS:. (shrink)

The focus of this study was to investigate "principals' administrative competence and teachers work performance" in Calabar Education zone. Four null hypotheses were tested in the course of the study. Correlational research design was adopted, while purposive sampling technique was used in selecting a sample of 800 teachers. Two instruments were used for data collection including "Principals' Administrative Competence Questionnaire (PACQ)," and Teachers' Work Performance Questionnaire (TWPQ)." Pearson Product Moment Correlation Analysis (r) and multiple regression (R) analysis were employed to (...) test the hypotheses at.05 level of significance were applicable, with the aid of SPSS v21. Findings from the study revealed that; principals' supervisory, leadership and communication competences are significantly related to teachers' work performance in terms of instructional delivery, attendance to classes, notes writing, and record keeping respectively. It was also revealed that; principals' supervisory, leadership and communication competences have significant composite influence on teachers' work performance in terms of instructional delivery (p <.05; F = 26.764), attendance to classes (p <.05; F = 109.122), notes writing (p <.05; F = 228.118), and record keeping (P <.05; F = 468.793). Based on these findings, it was recommended amongst others that; such techniques as close supervision of teachers, good leadership styles, and effective communication should be jointly practiced by secondary school principals in order to improve teachers' work performance. (shrink)

Introduction: Research has documented the prevalence of different HIV/AIDS prevention programs launched to reduce the spread of the virus. However, the extent to which the success or otherwise of these programs are achieved is rarely discussed. This study addresses this gap by analyzing the impact of three socioeconomic parameters on the evaluation of HIV/AIDS prevention programs in the Southern Senatorial District of Cross River State, Nigeria. Methods: A sample of 239 health care employees selected using the proportional stratified random sampling (...) technique participated in the study. A priori power analysis (using G*power) indicated that the sample size was large enough to achieve a 96.7% statistical power. Data was collected using a structured questionnaire. Exploratory factor analysis assessed the dimensionality of the instrument. Acceptable construct and discriminant validity and composite reliability coefficients were obtained. At the .05 alpha level, the null hypotheses were tested using a one-way analysis of variance. Findings: Findings indicated that the evaluation of HIV/AIDS prevention programs significantly varied with the level of funding provided (F[2, 236]=81.11, p<.001), human capacity available (F[2, 236]=40.91, p<.001), and stigmatization to people living with AIDS (F[2, 236]=40.79, p<.001). Health facilities with higher funding and human capacity successfully evaluated HIV/AIDS prevention programs. However, the evaluation of HIV/AIDS prevention programs was lower in areas with a high level of stigmatization. Conclusion and implication: This study’s findings provided evidence that funding, human capacity, and stigmatization affect how HIV/AIDS pandemic can be effectively evaluated. This study implies that additional responsibility is required for public health workers to promote quality service delivery across different health facilities. Keywords:. (shrink)

This study analyzed the utilization of social media platforms and university students' attitudes towards academic activities in Cross River State. A descriptive survey research design was adopted for the study. The population of this study comprised all the private and public university students in Cross River State. A sample of 1,600 students, which cuts across the three universities in the area of study, was selected using the convenience sampling technique. A questionnaire (r=.849) and a rating scale (r=.786) were used as (...) the instruments for data collection. Findings emerged amongst others that the utilization status of social media platforms by university students is generally high; the utilization of Facebook, WhatsApp, Instagram, Twitter, WeChat, Skype, Snapchat, Eskimi, Telegram and YouTube social media platforms has a significant composite influence (F=52.453, p<.05) on university students' attitudes towards academic activities. Relatively, utilization of Facebook was the highest predictor (t=11.222, β=.232, p<.05), followed by the utilization of WhatsApp (t=11.068, β=.229, p<.05), utilization of Twitter (t=5.977, β=.118, p<.05), and the utilization of Instagram (t=2.772, β=.056, p<.05), in that order. It was recommended that secondary school students should develop positive attitudes towards their academic activities and abhor activities that will lead to a decline in the learning outcomes. (shrink)

The dishonest practices in the conduct of educational research in South-South region particularly, and Nigeria generally, has called for urgent intervention. This study assessed data management practices and educational research effectiveness of University Lecturers in South-South Nigeria. A sample of 602 lecturers that were accessible during data collection responded to two questionnaires (Data Management Practices Questionnaire – DMPQ and "Educational Research Effectiveness Questionnaire – EREQ). Multiple regression was employed in the analysis of data. Findings revealed amongst others that; data storage, (...) data security, data retrieval, data sharing, and data re-use jointly contributed to the total variance in educational research effectiveness in terms of proper citations by 56.25%, problem-solving by 22.14%, knowledge creation by 34.50%, and generation of testable data by 36.88%; and their composite influence on educational research effectiveness in terms of proper citations (F=152.25,p<.05), problem-solving (F=33.90,p<.05), knowledge creation (F=62.78,p<.05), and generation of testable data (F=69.65,p<.05), is statistically significant. Based on the findings of this study, it was recommended among others that, there should be an up-to-date database or data warehouse in Ministries of Education where researchers can easily access data in order to increase the quality of researches by eliminating the problems of data fabrication and falsification. This study contributes to the existing body of knowledge by addressing the gaps arising from the paucity of research literature on educational research effectiveness. This study shows how data management practices affects the quality of educational research output of university lecturers using empirical evidence from Nigeria. (shrink)

This study assessed the mode of test administration, birth variables, and students’ academic performance in Mathematics in Obubra Local Government Area of Cross River State, Nigeria. The study was guided by three null hypotheses following a quasi- experimental research design. Simple random and purposive sampling techniques were employed in selecting a sample of 250 respondents from a population of 5,792 students. Birth Order Checklist (BOC) and Mathematics Achievement Test (MAT) were used for data collection. The experimental group was assigned to (...) take a Computer-Based Test (CBT) while the control group took a Paper-Pencil Test (PPT) in mathematics. The null hypotheses were tested at .05 alpha level using two-way analysis of variance. Major findings revealed that, the interactive effects of gender and mode of test administration on the academic performance of students is non- significant [F(1,249)=0.028, p>.05, partial η2=.000]; the interactive effects of gender and birth order on the academic performance of students was not statistically significant [F(3,249)=0.782, p>.05, partial η2=.010]; the interactive effect of gender and birth order on the academic performance of students in mathematics is statistically significant [F(3,249)=2.854, p<.05, partial η2 =.034]. Based on these findings conclusions and recommendations were made for improved academic performance and school system effectiveness. (shrink)

This study evaluated school quality indicators and teachers job performance in Cross River State. One research question and four null hypotheses were raised following factorial research design. Proportionate random sampling technique was employed in selecting a sample of 1,463 teachers representing 30 percent from a population of 4,878 teachers distributed across 271 public secondary schools in Cross River State. “School Quality Indicators Questionnaire (SQIQ) and Teachers’ Job Performance Questionnaire (TJPQ)” were the instruments used for data collection. Prepared data were analyzed (...) using descriptive statistics; while the null hypotheses were all tested at .05 alpha level using Pearson Product Moment Correlation and Multiple regression analyses as appropriate with the aid of Minitab statistical software v18. Findings revealed that, quality of school facilities, leadership, and supervision jointly accounted for 90.6 percent (Pred. R2 = .9063) of the total variance of teachers’ job performance; there is significant relationship between quality of school facilities (r = .478, p< .05), quality of leadership (r = .928, p< .05) quality of supervision (r = .881, p< .05) respectively with secondary school teachers’ job performance; quality of school facilities, leadership, and supervision have significant composite influence (F=4800.58, p<.05) on secondary school teachers’ job performance; quality of leadership was the highest predictor (t=45.38, p< .05) of teachers’ job performance, followed by quality of school supervision (t = 27.29, p <.05). Based on these findings, conclusions and recommendations were made for improvement. Keywords:. (shrink)

This study examined adolescents’ perception management and attitudes towards sex education in secondary schools in Cross River State, Nigeria. The study was guided by three null hypotheses that were formulated. The study adopted a descriptive survey design. Purposive sampling technique was employed by the researchers in selecting a sample of 1,080 students from a population of 98,915 secondary school students distributed across 271 public secondary schools in Cross River State. Adolescents Perception Management and Attitudes towards Sex Education Questionnaire (APMATSEQ) was (...) used as an instrument for data collection. The null hypotheses were all tested at .05 level of significance using Pearson product moment correlation and multiple regression analyses. Findings from the study revealed that adolescents' counseling and sensitization are significantly related to their attitudes towards sex education respectively and jointly; both variables accounted for 50.3 percent (R2 = .503, Adj. R2 = .502) of the total variance of adolescents’ attitudes towards sex education. Findings also revealed that adolescents’ counselling and sensitization have a significant composite influence (F = 544.924, p < .05) on their attitudes towards sex education, with adolescents’ counselling being the highest predictor (β = .499, t = 19.392), followed by adolescents’ sensitization (β = .299, t = 11.632). Based on the findings, it was recommended amongst others that; professional counselors should be employed by the government to enable secondary schools to have at least three counselors per school in order for schools to effectively manage students’ perception. (shrink)

This study assessed quality assurance practices and students’ performance evaluation in universities of South-South Nigeria using an SEM approach. Three null hypotheses guided the study. Based on factorial research design, and using a stratified random sampling technique, a sample of 878 academic staff were drawn from a sampling frame of 15 universities in South-South Nigeria. Quality Assurance Practices Students’ Performance Evaluation Scale (QAPSPES) with split-half reliability estimates ranging from .86–.92, was used as the instruments for data collection. Multiple regression and (...) Confirmatory Factor Analyses (CFA) were used for the analysis of data, model building, and testing of the hypotheses at .05 alpha level. Findings showed a significant composite and relative influence (F=48.19, P<.05) of school management, staff, and students’ quality assurance practices on students’ performance evaluation. The results also indicated that there were positive and significant covariances between the four variables of this study, with the CFI, RMSEA, TLI, and SRMR values indicating a good model fit. It was recommended, based on the findings of this study that, each school should organize quality assurance orientation campaigns for new students and set up quality assurance committees at the school, faculty and departmental levels for optimal performance in schools. (shrink)

This study assessed the administration of punishment, students’ test anxiety, and performance in mathematics in secondary schools of Cross River State. Three null hypotheses were formulated following a correlational research design. Proportionate stratified random sampling technique was employed in selecting a sample of 2,554 respondents representing 5% of the population of 51,097 junior secondary school students distributed across 271 public secondary schools in Cross River State. Administration of Punishment Questionnaire (APQ) designed by the researchers, Test Anxiety Inventory (TAI) developed by (...) Dawood et al., (2016), and Mathematics Achievement Test (MAT) designed by Owan (2012), were used as instruments for data collection. The null hypotheses were tested using one-way MANOVA), Pearson Product Moment Correlation, and Multiple regression analyses with the aid of SPSS v23. Findings revealed amongst others that administration of punishment has a significant influence on students’ test anxiety and performance in mathematics F (6, 5098) = 24.149, p<.05; Wilk’s Λ = 0.945, partial η2 = .028 on a joint basis; administration of punishment has a significant influence respectively on students’ test anxiety F (3, 2550) = 22.697, p<.0005, partial η2 =.026 and performance in mathematics F (3, 2550) = 23.090, P<.0005, partial η2 =.026; there is an inverse significant relationship (r= -339, p<0.05) between students’ tests anxiety and performance in mathematics. It was recommended that the use of corporal punishment should be totally abolished on strict grounds that it hurts the psychological disposition of learners resulting in a dip in their performance consequently. (shrink)

This study investigated innovation management and effectiveness of educational research in tertiary institutions in Cross River State. One research question and one null hypothesis were formulated to direct the study. The study adopted factorial research design. Census technique was adopted by the researcher in selecting the entire population of 80 participants from four (4) tertiary institutions in Cross River State. “Innovation Management Questionnaire (IMQ)” and “Effectiveness of Educational Research Rating Scale (EERRS) were used as instruments for data collection. The reliability (...) of the instruments was established through test-retest method and reliability estimates of .89 and .86 were obtained. The null hypothesis was tested at .05 level of significance using multiple regression analysis with the aid of SPSS version 21. Findings from the study established a composite contribution of 70.5% of data management innovations, research ethics management, provision of research grants to effectiveness of educational research (Adj. R2= .705). The findings of this study also established that; data management innovations, research ethics management, and provision of research grants jointly has a significant influence on effectiveness of educational research (F = 64.055, p <.05). Data management innovations was the highest predictor (β = .501, t = 7.778), followed by research ethics management ethics management (β = .311, t = 3.956), and provision of research grants (β = .291, t = 3.707) in that order. Based on the findings, it was recommended, amongst others, that educational research data (including coded data) should be effectively managed by tertiary institutions using both manual and computerized data management devices with corresponding appropriate retrieval systems. (shrink)

This study assessed external debts and the financing of education in Nigeria using time series data obtained from World Bank, and CBN Statistical Bulletin covering a period of 31 years from 1988 -2018. The model of the study was derived, while the data collected were analysed using the Ordinary Least Squares. Diagnostic tests such as Augmented Dickey- Fuller (ADF) unit root test, Johansen co-integration, Vector Error Correction (VEC) techniques of estimation, and Granger Causality tests were all performed. Findings revealed a (...) significant long-run relationship between external debts and the financing of education; external debts have a significant effect (F=39.07055, p<.05) on the financing of education in Nigeria; external debt stock and external debt service payment have no significant effect on the financing of education; real GDP and Exchange rate have a significant effect on the financing of education in Nigeria respectively. Based on these findings, it was concluded that external debt is a big hindrance to the financing of education and consequently, the economic growth of Nigeria. It was recommended amongst others that the government should use borrowed funds from external sources for productive capital projects or development initiatives such as investment in education and the eradication of illiteracy. (shrink)

This study assessed teaching personnel management and attitude to work in secondary schools of Calabar Education Zone of Cross River State, Nigeria. Two null hypotheses offered direction to the study using an Ex-post facto research design. The population of this study comprised all the public secondary school teachers in Calabar Education zone of Cross River State. Purposive sampling technique was employed in selecting a sample of 1,181 teachers. “Teaching Personnel Management and Attitude to Work Questionnaire (TPMAWQ)”, with Split-half reliability estimates (...) of .83, .87, .93, and .84, was used as an instrument for data collection. Independent t-test and multiple regression analyses were used in testing the null hypotheses at .05 alpha level. The findings of the study revealed amidst others that there is a significant composite influence (F = 279.438, p<.05) of teachers’ training, placement and supervision on their attitudes to work. Teachers’ training was the highest predictor of their attitudes to work (t = 20.727, β = .490), followed by placement (t = 10.294, β = .241), and supervision (t= 7.171, β = .164). It was recommended among others that teachers should be properly trained on the principles, concepts, and methods of teaching before and during service. (shrink)

This study assessed students’ perception of teachers’ effectiveness and learning outcomes in mathematics and economics in secondary schools of Cross River State, Nigeria. Two null hypotheses were formulated to direct the study. The factorial research design was adopted for the study. Cluster and purposive sampling techniques were however employed in selecting a sample of 1,800 students from the three education zones in Cross River State. “Students’ Perception of Teachers Effectiveness Questionnaire (SPTEQ)”, Mathematics Achievement Test (MAT), and Economics Achievement Test (EAT) (...) were used as instruments for data collection. Reliability estimates of .86, .91, and .81 were obtained for the three instruments using Cronbach alpha. Collected data were analysed using descriptive statistics while the research question was answered and the null hypothesis tested using Pearson Correlation matrix and multiple regression analyses (where applicable), with the aid of Minitab v18. Findings revealed amongst others that, there is a significant composite influence of students’ perception of teachers’ motivational skills, teaching methods, relationship with students, and communication level on learning outcomes in Mathematics (F = 142.46, p < .05) and Economics (F = 150.31, p < .05) respectively. It was recommended amongst others that secondary school teachers should adopt motivational techniques such as praises, rewards, and smiles, in strengthening the interest of learners during mathematics and Economics lessons. Keywords:. (shrink)

TRANSPORTE DE GAMETAS, FERTILIZAÇÃO E SEGMENTAÇÃO -/- • _____OBJETIVO -/- O entendimento do desenvolvimento embrionário nos estágios iniciais, desde a deposição dos espermatozoides na fêmea, passando pela fertilização deste no ovócito e na formação do zigoto, é de suma importância para diferenciar especialistas em reprodução e manejo reprodutivo no mercado de trabalho e, também, durante a vida acadêmica. Compreender os processos que levam à formação do zigoto na fêmea é essencial para avaliar a capacidade reprodutiva dos animais e, mediante técnicas, (...) avaliar o trato reprodutivo da fêmea e o desenvolvimento do embrião até a formação do feto e, por fim, em um novo animal sadio na propriedade. Com esse trabalho, o estudante de veterinária ou zootecnia, que deseja se aprofundar na fisiologia da reprodução animal, identificará os mecanismos que são envolvidos no transporte dos gametas, bem como os processos que estes últimos devem completar para alcançar a fertilização e para desencadear as divisões iniciais do embrião. -/- • _____INTRODUÇÃO -/- A fertilização ou fecundação é o processo pelo qual os gametas masculino (espermatozoide) e feminino (ovócito) se fundem para gerar um novo indivíduo. Seu êxito depende da culminação adequada dos diferentes processos que devem sofrer os gametas durante sua maduração e percurso; do transporte oportuno destes no trato reprodutivo da fêmea, assim como de uma série de adaptações dos órgãos genitais internos da mãe. A segmentação refere-se às primeiras divisões celulares do embrião. -/- • _____TRANSPORTE DO OVÓCITO -/- O ovócito que é liberado na ovulação, e que se encontra coberto pelas células do cumulus (figura 1), é capturado pela fímbria do infundíbulo ao aderir aos cílios. Esse processo é altamente eficaz, inclusive em espécies onde os ovários possuem várias formações globosas, por exemplo nas porcas, onde os ovidutos capturam entre 95 e 100% dos ovócitos que são ovulados. As contrações das camadas musculares do oviduto e o movimento intenso dos cílios da mucosa faz com que as secreções fluam em direção ao útero, transportando assim o complexo cumulus-ovócito. Esse transporte é relativamente rápido até alcançar a junção da ampola com o istmo (que é considerado o local de fertilização do espermatozoide e ovócito) a partir do qual se torna lento. Devido a fêmea estar em estro, o processo está sob controle endócrino, isto é, controle hormonal através do estradiol. Nas fêmeas domésticas, ao contrário das mulheres, o transporte ao longo do oviduto é extremamente eficiente, pois os embriões passam para o útero sem dificuldade, de modo que gestações ectópicas (tubárias ou em cavidade) são quase inexistentes. A égua, frequentemente, retém por muito tempo os ovócitos não fertilizados no oviduto, provavelmente devido a não secreção de substâncias (como a prostaglandina E) que poderiam favorecer sua passagem, como se propõe que aconteça com os embriões. A figura 2 apresenta um ovócito com suas respectivas estruturas. Figura 1: ovócitos de uma vaca madurados in vitro. Nota-se as células do cumulus que os recobre. -/- Figura 2: estruturas do ovócito de uma ovelha que se encontra na etapa de ovócito secundário, depois da ovulação. Elaborado pelo autor. • _____TRANSPORTE ESPERMÁTICO -/- Para que os espermatozoides sejam capazes de fertilizar o ovócito, deverão sofrer uma série de mudanças bioquímicas e morfológicas ao longo de sua passagem pelo aparelho reprodutor tanto masculino como feminino. Uma vez produzidos na parede do túbulo seminífero, os espermatozoides são liberados em direção ao lúmen tubular e transportados passivamente para uma estrutura ramificada conhecida como rede testicular (rete testis). Dessa rede são conduzidos em direção ao epidídimo passando através de 10 a 20 ductos eferentes localizados no polo superior do testículo. O epidídimo é dividido em três seções denominadas cabeça, corpo e cauda; é constituído por um só ducto longo e tortuoso que continua com o canal deferente. Ao final desemboca nas ampolas seminais, no ducto ejaculatório e na uretra. As funções do epidídimo são as de maduração, transporte e armazenamento dos espermatozoides. O transporte através do epidídimo é lento, aproximadamente de 10 dias em touros, e segue sendo passivo. Os espermatozoides tomados da cabeça do epidídimo são ainda imaturos e incapazes de fertilizar, enquanto os armazenados na cauda são completamente maduros. Durante o trânsito pelo epidídimo os espermatozoides adquirem motilidade e o potencial para fertilizar, o acrossomo é remodelado e a gota citoplasmática migra para o flagelo e é liberada. Quando um macho ejacula com muita frequência, é possível observar espermatozoides com gota citoplasmática no sêmen, já que não há tempo suficiente para que completem sua maduração. Os espermatozoides são expulsados fora do organismo durante a cópula, na masturbação ou em emissões espontâneas. Na ejaculação, os espermatozoides que se encontram suspensos nos fluidos do testículo e do epidídimo, misturam-se ao chegar na uretra com as secreções das glândulas acessórias para formar o sêmen. Essas secreções denominadas plasma seminal, proporcionam substâncias para manter o metabolismo energético das células espermáticas, e integram suas membranas elementos que impedem uma capacitação prematura. Durante a cópula, o sêmen é depositado na vagina ou no útero, variando entre as espécies (tabela 1). Na monta natural, geralmente, o serviço ocorre no momento propício, já que está definido pela fase do ciclo estral em que a fêmea é receptiva ao macho. No entanto, na inseminação artificial, é o macho que deverá determinar o momento ideal, e para isso é importante considerar a vida média dos gametas, ao qual é muito curta no caso dos ovócitos (tabela 1). -/- Tabela 1: local de depósito do sêmen, volume da ejaculação e vida média dos gametas. Espécie Local de deposição Volume (ml) Velocidade de ejaculação Vida média do ovócito Vida média do espermatozoide Bovinos Intravaginal 2 1 – 3 seg 8 h 30 – 48 h Caninos Intravaginal 2 – 30 (10 média) 6 – 45 min 48 – 72 h 9 – 11 d Equinos Intrauterina 50 – 200 20 – 60 seg 6 – 8 h 72 – 120 h Humanos Intravaginal 3 - - 5 – 6 d Ovinos Intravaginal 1 1 – 2 seg 16 – 24 h 30 – 48 h Suínos Intrauterina 200 – 400 5 – 20 min 8 – 10 h 24 – 48 h Onde d = dias; h = horas. A vida fértil do ovócito é muito curta, portanto, o momento do serviço é de grande importância para obter altos índices de fertilização. -/- Independentemente do local em que os espermatozoides sejam depositados no aparelho reprodutor feminino, serão expostos às secreções genitais e sofrem uma série de mudanças em seu trajeto até o local de fertilização antes de penetrar no ovócito. Nas espécies em que o sêmen é depositado na parte cranial da vagina, uma parte do mesmo penetra através da cérvix, enquanto outra parte é eliminada do aparelho genital da fêmea, em pouco tempo, através do fluxo retrógrado. O meio vaginal não é adequado e imobiliza os espermatozoides em pouco tempo, pelo qual deverão entrar no útero onde o ambiente é mais propício. O transporte espermático na fêmea é o resultado da alta contratilidade, do movimento ciliar e o fluido do aparelho genital durante o estro, ao qual está sob controle endócrino e do sistema nervoso. Esse transporte é favorecido pelas características especiais do muco estral, cujas moléculas formam uma espécie de canais que facilitam a passagem dos espermatozoides. Pelo contrário, durante a fase lútea seu transporte é dificultado. Além do meio vaginal, a cérvix também atua como barreira natural para limitar a passagem dos espermatozoides, diminuindo assim a possibilidade de polispermia. Funciona, também, como um filtro que seleciona os espermatozoides aptos dos que não o são, uma vez que somente os primeiros possuem uma motilidade vigorosa que lhes permite passar pelo muco altamente hidratado. Na vaca a cérvix é considerada como um reservatório espermático. Quando atravessam a cérvix, os espermatozoides seguem sua deslocação tanto por movimento próprio como pelas contrações uterinas e tubárias. Nas espécies em que o local de depósito do sêmen do macho na fêmea é intrauterino, como equinos, a principal barreira que os espermatozoides enfrentam é a união ou junção útero-tubárica. A união entre o útero e o oviduto (istmo do oviduto) serve como reservatório funcional dos espermatozoides nas espécies domésticas. Poucos minutos depois da cópula, é possível encontrar alguns espermatozoides no oviduto, que é conhecido como fase de transporte rápido. No entanto, esses espermato-zoides não são os que participam do processo de fertilização e podem apresentar certas anormalidades. Existe um segundo tipo de transporte denominado fase sustentada, a qual consiste na migração prolongada dos espermatozoides em direção as partes mais craniais do aparelho genital feminino, que conduzem à colonização do reservatório funcional e na liberação gradual dos espermatozoides dos reservatórios espermáticos, incluindo este último. O reservatório do istmo fornece aos espermatozoides um ambiente propício, protegendo-os contra a fagocitose, prolongando assim a sua viabilidade. Aqui os esper-matozoides permanecem aderidos a superfície das células ciliadas do epitélio até a finalização de sua capacitação, depois da qual são liberados quando alteram seu padrão de motilidade flagelada, fenômeno conhecido como hipermotilidade, e migram em ondas em direção ao local da fertilização. Dos milhões de espermatozoides ejaculados, somente alguns milhares alcançarão o istmo do oviduto e um número sumamente pequeno será encontrado nas imediações do ovócito no momento da fertilização. -/- • _____CAPACITAÇÃO ESPERMÁTICA E REAÇÃO ACROSSÔMICA -/- A capacitação é um processo gradual e essencial para a fertilização. Os espermato-zoides devem passar por um dado tempo de “incubação” no aparelho genital da fêmea e sofrer uma série de mudanças antes de serem capazes de fecundar o ovócito. A capacita-ção dos espermatozoides começa quando eles entram em contato com as secreções do aparelho genital da fêmea e termina no istmo do oviduto. Durante esse percurso a superfície da cabeça do espermatozoide se modifica já que algumas moléculas como o colesterol são removidas da membrana plasmática, aumentando sua fluidez e alterando suas propriedades bioquímicas. Entre outras coisas, essa reorganização dos lipídios facilita a entrada de cálcio extracelular pelos canais iônicos e ocasiona a desestabilização da membrana, tornando-a mais fusogênica. Também são eliminados outros fatores (conhecidos genericamente como fatores descapacitantes) que expõem receptores membranais indispensáveis para a realização da união entre o espermatozoide e o ovócito durante a fertilização. Os espermatozoides capacitados apresentam um padrão de hipermotilidade e uma maior atividade metabólica, características que devem obter para que sejam capazes de penetrar as camadas do ovócito. A capacitação é necessária para que ocorra a reação acrossômica. A reação acrossomal ou acrossômica (RA) é um fenômeno de exocitose que é desencadeada pela ligação entre as proteínas e receptores localizados na membrana do espermatozoide e a zona pelúcida do ovócito (figura 3). Envolve a fusão da membrana plasmática do espermatozoide com a membrana externa de seu acrossomo; formando, assim, pequenas vesículas, cujo conteúdo de enzimas hidrolíticas, como a hialuronidase e a acrosina, é liberado em direção ao seu exterior, facilitando a penetração da zona pelúcida. A adesão do espermatozoide à zona pelúcida é específica da espécie e depende de glicoproteínas presentes na membrana dos ovócitos maduros; a cabeça do espermatozoide se une com essas glicoproteínas mediante receptores específicos e atravessam em direção oblíqua a zona pelúcida até chegar ao espaço perivitelino. Nos mamíferos, particularmente em roedores e nos humanos, algumas dessas glicoproteínas são conhecidas como ZP1, ZP2 e ZP3. Pensa-se que a união da membrana espermática a esta última é o que desencadeia a reação acrossomal. Posteriormente, as vilosidades do ovócito entram em contato com o espermatozoide e a membrana presente na secreção equatorial da cabeça do espermatozoide, que tem proteínas fusogênicas específicas, une-se a membrana plasmática do ovócito, fusionando-se e permitindo a entrada do núcleo espermático ao citoplasma (figura 4). A capacitação dos espermatozoides é fundamental para o êxito da fertilização, uma vez que apenas os aptos estarão perfeitos e íntegros para que a união e percepção das glicoproteínas presentes nos mesmos possam ocorrer de forma ideal para a penetração deste no ovócito, fertilizá-lo e formar um zigoto. Figura 3: estrutura do espermatozoide. Nota: a membrana é acrossomal e não acrossonal. Elaborado pelo autor. -/- Figura 4: eventos que ocorrem durante a fertilização. A – depois de passar através das células do cumulus, o espermatozoide entra em contato com a zona pelúcida, onde receptores da membrana plasmática reconhecem as proteínas da zona pelúcida; B – é desencadeada, então, a reação acrossomal; C – para que o espermatozoide penetre na zona pelúcida; D – ao atravessar a zona pelúcida e entrar no espaço perivitelino, a cabeça do espermatozoide entra em contato com a membrana vitelina; ambas membranas se fusionam graças ao reconhecimento de proteínas fusogênicas que estão no segmento equatorial. E – ocorre, então, que o núcleo do espermatozoide penetra no citoplasma do ovócito; uma das consequências da fusão da membrana com a cabeça do espermatozoide é a reação cortical, em que os grânulos corticais do ovócito liberam seu conteúdo em direção ao espaço perivitelino, o que resulta na alteração da estrutura da zona pelúcida e da membrana vitelina para bloquear a polispermia. Elaborado pelo autor. • _____CONSEQUÊNCIAS DA PENETRAÇÃO -/- Bloqueio da polispermia -/- A fusão das membranas dos gametas durante a penetração permite a entrada da fosfolipase C zeta (PLCζ) – fator solúvel que provém do espermatozoide – que desencadeia liberação e oscilações de Ca2+ no retículo endoplasmático. Isso, por sua vez, provoca a migração e fusão dos grânulos corticais, com a consequente liberação de enzimas, que mudam tanto a estrutura da zona pelúcida (por exemplo a inativação de ZP3), como a da membrana vitelina. Desse modo, impede-se que outros espermatozoides as penetrem, evitando assim a polispermia (figura 5). -/- Figura 5: os grânulos corticais que encontram-se na periferia do citoplasma, debaixo da superfície da membrana do ovócito, migram e fusionam-se sobre a mesma, liberando seu conteúdo no espaço perivitelino imediatamente depois da penetração do espermatozoide. A – como conse-quência, tanto a membrana vitelina como a zona pelúcida são modificadas, impedindo a entrada de mais espermatozoides, o que evita a polispermia. B – o ovócito retoma, então, sua segunda divisão meiótica, que ocasiona a expulsão do segundo corpúsculo polar, e na formação dos pronúcleos feminino e masculino. C – continuando, os pronúcleos migram, suas membranas se dissolvem e os cromossomos de ambos se condensam e se unem. Completa-se, assim, a singamia e forma-se, então, o zigoto. Elaborado pelo autor baseado nos livros de embriologia e fisiologia da reprodução conforme vida bibliografia. -/- Ativação do ovócito e formação de pronúcleos -/- Na maioria das fêmeas domésticas, com exceção da cadela, o ovócito encontra-se suspenso na metáfase II da segunda meiose no momento da ovulação. A entrada da PLCζ do espermatozoide no citoplasma do ovócito, e a consequente liberação de Ca2+, faz com que o ovócito se ative, terminando a segunda divisão meiótica e expulse o segundo corpo polar. Posteriormente, o material nuclear do ovócito se reorganiza para formar o pronú-cleo feminino. Entretanto, a membrana nuclear do espermatozoide se dissolve, a cromatina descondensa-se, as protaminas são substituídas por histonas, e se forma uma nova membrana nuclear, dando lugar ao pronúcleo masculino. -/- Singamia -/- Uma vez que os pronúcleos feminino e masculino são formados, migram para o centro do ovócito, aproximam-se, suas membranas se dispersam e os cromossomos paternos e maternos se associam, com o qual recupera a condição diploide e dá origem ao zigoto (figura 5). -/- • _____DESENVOLVIMENTO EMBRIONÁRIO -/- Poucas horas após a fertilização ocorre a primeira divisão do zigoto em duas, depois em 4, 8, 16 e 32 células, denominadas blastômeros. Essas divisões mitóticas são conhecidas como divisões de segmentação ou clivagem (figura 6), uma vez que são realizadas sem aumento do citoplasma, de modo que com cada divisão os blastômeros se tornam menores. A partir das 16 células o embrião se chama mórula, e é visto como uma massa celular compacta. A compactação deve-se a informação de proteínas de ligação entre os blastômeros. O embrião acumula líquido em seu interior, formando uma cavidade denominada blastocele. Esse processo é conhecido como blastulação; o embrião, assim, passa a ser chamado de blastocisto. Nessa etapa é possível diferenciar duas populações de células embrionárias: a massa celular interna, embrioblasto ou botão embrionário (que dará origem ao embrião), e a massa celular externa, células superficiais ou trofoblasto, do qual se originam a maioria das membranas fetais. Ao continuar a multiplicação das células e a acumulação de líquido, o blastocisto aumenta de tamanho, convertendo-se em blastocisto expandido. A zona pelúcida torna-se mais fina e, finalmente, o embrião eclode; isto é, o embrião é liberado da zona pelúcida. -/- • _____FERTILIZAÇÕES ATÍPICAS -/- Polispermia -/- É a penetração de dois ou mais espermatozoides no óvulo. Esta condição é letal nos mamíferos, já que o número cromossômico desse zigoto é maior que 2n, o envelheci-mento do ovócito da porca, como consequência do serviço tardio, favorece a apresentação da polispermia, por isso, é comum ver números de nascimentos de média de 10 a 12 leitões por parição nessa espécie. Nas aves, no entanto, a penetração de mais de um espermatozoide é normal, embora apenas um pronúcleo masculino se formará, fundindo-se com o feminino. -/- Figura 6: etapas do processo de segmentação/clivagem. Fonte: aula de reprodução da professora Domenica Palomaris, UFT. -/- Ginogênese -/- É o desenvolvimento de um embrião a partir de um óvulo normal fecundado por um espermatozoide, mas sem a fusão dos cromossomos masculinos com os da fêmea. A função do espermatozoide, nesse caso, é a de ativação do ovócito para que este inicie seu desenvolvimento, mas não há fusão com o núcleo do espermatozoide. Ocorre em plantas, em nematódeos e em algumas espécies de peixes, por exemplo a Poecilia formosa, espécie em que os ovócitos das fêmeas são ativados por machos de outra espécie relacio-nada. -/- Partenogênese -/- Consiste no desenvolvimento do embrião sem a participação do espermatozoide. Ocorre em alguns insetos, o zangão, por exemplo, é partenogenético. Também pode apresentar-se em perus, cujos embriões são machos e, geralmente, morrem antes da eclosão. -/- • _____GÊMEOS -/- Existem dois tipos de gêmeos: idênticos ou monozigóticos e os não idênticos ou dizigóticos. -/- Idênticos ou monozigóticos -/- Originam-se do mesmo zigoto, sendo assim, possuem o mesmo genótipo e um fenótipo similar e, portanto, são do mesmo sexo. Em laboratório é possível gerá-los ao seccionar uma mórula em duas ou mais partes, por meio de um micromanipulador. Uma vez que possuem o mesmo genótipo, os produtos resultantes são clones. -/- Não idênticos ou dizigóticos -/- Provêm da fertilização de dois óvulos distintos por espermatozoides diferentes. Possuem, portanto, genótipos e fenótipos diferentes, e podem ser de sexo diferente. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ALBERTS, Bruce et al. Biologia molecular da célula. Artmed Editora, 2010. AUSTIN, Colin Russell; SHORT, Roger Valentine. Reproduction in Mammals, Book I: Germ Cells and Fertilization. 1982. BEARDEN, Henry Joe et al. Reproducción animal aplicada. México: Manual Moderno, 1982. BOSCH, P.; WRIGHT JR, R. W. The oviductal sperm reservoir in domestic mammals. Archivos de medicina veterinaria, v. 37, n. 2, p. 95-105, 2005. CAPALLEJAS, Roberto Brito; RODRÍGUEZ, Lourdes Tagle. Fisiología de la reproducción animal: con elementos de biotecnología. Editorial Félix Varela, 2010. CROXATTO, Horacio B. Physiology of gamete and embryo transport through the fallopian tube. Reproductive biomedicine online, v. 4, n. 2, p. 160-169, 2002. CUPPS, Perry T. (Ed.). Reproduction in domestic animals. Elsevier, 1991. DIEDRICH, Smidt et al. Endocrinología y Fisiología de la Reproducción de los Animales Zootécnicos. 1972. DUKES, Henry Hugh; SWENSON, Melvin J.; REECE, William O. Dukes fisiologia dos animais domésticos. Editora Guanabara Koogan, 1996. FERREIRA, A. de M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Minas Gerais–Brasil, p. 422, 2010. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HUNTER, Ronald Henry Fraser. The Fallopian tubes in domestic mammals: how vital is their physiological activity?. Reproduction Nutrition Development, v. 45, n. 3, p. 281-290, 2005. HUNTER, R. H. F.; RODRIGUEZ‐MARTINEZ, H. Capacitation of mammalian spermatozoa in vivo, with a specific focus on events in the Fallopian tubes. Molecular Reproduction and Development: Incorporating Gamete Research, v. 67, n. 2, p. 243-250, 2004. GALINA, Carlos; VALENCIA, Javier. Reproducción de los animales domésticos. 2006. HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. HYTTEL, Poul; SINOWATZ, Fred; VEJLSTED, Morten. Embriologia veterinária. Elsevier Brasil, 2012. KÖLLE, Sabine; REESE, Sven; KUMMER, Wolfgang. New aspects of gamete transport, fertilization, and embryonic development in the oviduct gained by means of live cell imaging. Theriogenology, v. 73, n. 6, p. 786-795, 2010. MCKINNON, Angus O. et al. (Ed.). Equine reproduction. John Wiley & Sons, 2011. OLIVERA, Martha et al. El espermatozoide, desde la eyaculación hasta la fertilización. Revista Colombiana de Ciencias Pecuarias, v. 19, n. 4, p. 426-436, 2006. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. New York: Academic Press, 2014. RODRIGUEZ-MARTINEZ, Heriberto. Role of the oviduct in sperm capacitation. Theriogenology, v. 68, p. S138-S146, 2007. SAAVEDRA LEOS, María Dolores. Estudio de la composición de los gránulos corticales y del oolema de ovocitos porcinos y bovinos madurados y fecundados in vitro. Proyecto de investigación:, 2010. SENGER, Phillip L. et al. Pathways to pregnancy and parturition. Current Conceptions, Inc, 2004. SUAREZ, Susan S. The oviductal sperm reservoir in mammals: mechanisms of formation. Biology of Reproduction, v. 58, n. 5, p. 1105-1107, 1998. VALENCIA MÉNDEZ, Javier de J. Fisiología de la reproducción porcina. 1986. -/- FIXAÇÃO DO ASSUNTO -/- 1. Defina e diferencie fertilização e segmentação. -/- 2. Disserte sobre o transporte do ovócito. Por que no istmo o transporte do ovócito se torna lento? -/- 3. Fale sobre a eficiência do transporte do gameta no trato genital da fêmea e sobre a retenção de ovócitos pela égua. -/- 4. Defina as células do cumulus e explique seu papel sobre o ovócito. -/- 5. Quais as estruturas que compõem o ovócito? Qual a função de cada uma? -/- 6. Todos os ovócitos das fêmeas domésticas são iguais? Justifique. -/- 7. Disserte sobre o papel dos hormônios e das secreções sobre o transporte do ovócito no trato genital da fêmea. -/- 8. Disserte sobre o transporte do espermatozoide. Por que há transporte rápido e lento dos espermatozoides? -/- 9. Fale sobre o local de deposição do sêmen nas espécies domésticas e como esse influen-cia na eficiência da reprodução. -/- 10. Por que a vida média do espermatozoide canino é maior que as outras espécies? -/- 11. Quais as mudanças que os espermatozoides precisam sofrer para conseguir êxito na fertilização e por quê? -/- 12. Defina fase de transporte rápido, fase sustentada e hipermotilidade. Qual a importân-cia de cada um? -/- 13. Como ocorre a reação acrossômica? -/- 14. O que é polispermia e como ocorre seu bloqueio? 15. Como ocorre a ativação do ovócito e como se formam os pronúcleos? -/- 16. O que é e qual a importância da singamia? -/- 17. Disserte sobre as divisões de segmentação e qual a importância destas para o êxito da reprodução. -/- 18. Defina e diferencia mórula e blastocisto. -/- 19. Defina e diferencie ginogênese e partenogênese. -/- 20. Qual o papel endócrino e quais hormônios e enzimas atuam sobre o transporte de gametas, sobre a fertilização e sobre a segmentação? (shrink)

Sideloading is the creation of a digital model of a person during their life via iterative improvements of this model based on the person's feedback. The progress of LLMs with large prompts allows the creation of very large, book-size prompts which describe a personality. We will call mind-models created via sideloading "sideloads"; they often look like chatbots, but they are more than that as they have other output channels, like internal thought streams and descriptions of actions. -/- By arranging the (...) predictive power of the facts about a person, we can write down the most important facts first. This allows us to get a high level of fidelity in a person's model by writing down a finite number of facts and running it as an LLM prompt with instructions to create a person's chatbot. This instruction also includes an extensive general sideload prompt (we will call it a prompt-loader), which explains how the person's sideload should work, but it is universal and works as an operating system for different persons. -/- I created my personal sideload to test all this and it started working surprisingly quickly. We found that there are three main levels of facts about a person: core facts, long-term memory, and historical facts. Core facts should go to the main prompt of the LLM, long-term memory belongs to RAG, and historical facts – which a person often does not remember – should be only used to extract new relevant data. The most important thing in preparing data for sideloading is to get a full list of the core facts, and not to mix it with long-term memory and historical facts. The LLM-sideload project is inherently future-oriented. New state-of-the-art LLMs with large prompt capabilities emerge quarterly. This allows for the preparation of prompts that exceed current LLM capabilities, anticipating smooth execution in the following year. Below we present the key findings of this work in the form of an executive summary: Quality of sideloads is evaluated using three metrics: • Facts: Accuracy of the answers about the person's life • Vibe: How well the sideload captures the person's style and personality, as judged by the person themselves and their acquaintances • Brilliant insights: Ability to contribute unique, valuable ideas beyond the training data, while maintaining the author's style • Coarseness: Levels of details as percent of the total of recordable textual information from memory estimated to be 10000 pages. Similar to the jpeg level of compression. Estimated performance of Alexey Turchin's sideload: • Facts: 70% correct • Vibe: 20% accurate • Brilliant insights: near zero • Coarseness: 10% The project achieved these results in about one month of work. Vibe is harder to evaluate and regulate than facts. This approach focuses on informational personal identity, setting aside issues of observer identity and internal qualia. (shrink)

In this article, I present a view on the future of nuclear war which takes into account the expected technological progress as well as global political changes. There are three main directions in which technological progress in nuclear weapons may happen: a) Many gigaton scale weapons. b) Cheaper nuclear bombs which are based on the use of the reactor-grade plutonium, laser isotope separation or are hypothetical pure fusion weapons. Also, advanced nanotechnology will provide the ability to quickly build large nuclear (...) arsenals and AI could be used in designing, manufacturing and nuclear strategy planning. c) Specialized nukes like nuclear-powered space lasers, hafnium bombs and nuclear-powered space ships as kinetic weapons. Meanwhile, the nuclear war strategy also has changed as the bipolar world has ended and as new types of weapons are becoming available. The first strategy change is that Doomsday weapons for blackmail will become attractive for weaker countries which can’t use ICBM to penetrate the anti-missile defense of the enemies. Secondly, the cheaper nukes will become available to smaller actors, who may be involved in “worldwide guerilla”. Cheaper nukes and a larger number of actors also encourage nuclear terrorism and anonymous or false-flag warfare. This will result in the normalization of the use of nuclear weapons in war and growing nuclear arsenals, now distributed between many countries. The third change of the strategy is the use of nukes not against primary military targets but on other objects, which could increase their effects: nuclear power plants, supervolcanos, EMP, tsunamis, taiga fires for global cooling, and even more hypothetical things like asteroid deflection to Earth. All these unconventional means and strategies of nuclear war could become available somewhere in the 21st century and may cause or contribute to the civilizational collapse and even human extinction. (shrink)

A classification of the global catastrophic risks of AI is presented, along with a comprehensive list of previously identified risks. This classification allows the identification of several new risks. We show that at each level of AI’s intelligence power, separate types of possible catastrophes dominate. Our classification demonstrates that the field of AI risks is diverse, and includes many scenarios beyond the commonly discussed cases of a paperclip maximizer or robot-caused unemployment. Global catastrophic failure could happen at various levels of (...) AI development, namely, before it starts self-improvement, during its takeoff, when it uses various instruments to escape its initial confinement, or after it successfully takes over the world and starts to implement its goal system, which could be plainly unaligned, or feature-flawed friendliness. AI could also halt at later stages of its development either due to technical glitches or ontological problems. Overall, we identified around several dozen scenarios of AI-driven global catastrophe. The extent of this list illustrates that there is no one simple solution to the problem of AI safety, and that AI safety theory is complex and must be customized for each AI development level. (shrink)

Abstract. In this article is presented a model of the change of the probability of the global catastrophic risks in the world with exponentially evolving technologies. Increasingly cheaper technologies become accessible to a larger number of agents. Also, the technologies become more capable to cause a global catastrophe. Examples of such dangerous technologies are artificial viruses constructed by the means of synthetic biology, non-aligned AI and, to less extent, nanotech and nuclear proliferation. The model shows at least double exponential growth (...) of the probability of the global catastrophe which means that the accumulated probability of the catastrophe will grow from negligible to overwhelming at the period of a few doubling times of the technological capabilities. For biotech and AI, such doubling time roughly corresponds to the doubling period of Moore’s law and its analogues in other technologies and is around 2 years. Thus the global catastrophe in the exponential technologies world will most likely happen during a “dangerous decade”. Such a dangerous decade could start as early as in the 2020s. We also found that the double exponential growth in the model makes the model less sensitive to its initial conditions, like the number of dangerous agents or initial probabilities constants. The model also shows that smaller catastrophes could happen earlier than larger ones, and such a smaller catastrophe may be able to stop the technological growth before larger ones become possible, thus global risks will be self-limiting. However, if the growth of the number of dangerous agents will be very quick, the multiple smaller catastrophes could happen simultaneously and will be equal to a global catastrophe. (shrink)

Does a single mechanism of aging exit? Most scientists have their own pet theories about what is aging, but the lack of generally accepted theory is mind-blowing. Here we suggest an explanation: evolution works against unitary mechanism of aging because it equalizes ‘warranty period’ of different resilience systems. Therefore, we need life-extension methods that go beyond fighting specific aging mechanisms: such as using a combination of geroprotectors or repair-fixing bionanorobots controlled by AI.

This article analyses what it means for the attribution of responsibility to adopt a structural perspective on macro-social phenomena. To this end, a specific form of responsibility, namely ‘structural responsibility’, is distinguished from and placed in relation to personal and interpersonal moral responsibility. It is argued that only with the attribution of structural responsibility can we appropriately take account of macro-social problems including those that are predominant in international relations. Using the example of climate responsibility, the article explains in a (...) final step what happens when structural responsibility is overlooked, trivialised or even negated. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

Accusations of hypocrisy are a recurring theme in the public debate on climate change, but their significance remains poorly understood. Different motivations are associated with this accusation, which is leveled by proponents and opponents of climate action. In this article, I undertake a systematic assessment of climate hypocrisy, with a focus on lifestyle and political hypocrisy. I contextualize the corresponding accusation, introduce criteria for the conceptual analysis of climate hypocrisy, and develop an evaluative framework that allows us to determine its (...) moral significance. I argue that different instances of climate hypocrisy are problematic to different degrees, depending on how detrimental they are to an agent's attainment of environmental integrity. The resulting framework helps clear the confusion caused by disinformation campaigners, by distinguishing objectionable uses of the climate hypocrisy charge from constructive ones motivated by genuine concern for integrity. (shrink)

Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...) In order to show this, the practice and empirical context of consumer boycotts are first outlined. I then lay out and refute three general objections to this practice. Although each of these objections fails, their discussion generates insights concerning the normative standards with which boycotters must comply if they want their campaigns to be both legitimate and successful. These normative criteria are detailed along the lines of two guiding principles, proportionality and transparency. In the final step, I elaborate on structural change as the deeper purpose of consumer boycotts. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Research assessment and grant funding are vital to higher education. However, the reliance on quantitative metrics in these processes has raised concerns about their validity and potential negative consequences. This study aims to investigate the game of numbers in research assessment and grant funding, focusing on the perspectives of experienced researchers from around the globe. Accidental sampling elicited responses from more than 15 experienced researchers across different academic disciplines, institutions, and countries. The data were collected from the popular “Reviewer 2 (...) Must be Stopped!” Facebook platform, which includes more than 135,000 members across the globe. Two posts were made, allowing participants to share their experiences, perspectives, and concerns related to metrics and numbers in research assessment and grant funding. The results from the thematic analysis revealed diverse perspectives among experienced researchers. Some participants expressed concerns about the dominance of quantitative metrics, highlighting the limitations and potential biases associated with their use. Others acknowledged the value of certain indicators in showcasing research impact. Moreover, the impact of metrics on grant funding awards was also documented. The study highlights the necessity for a more balanced and context-aware approach to research assessment and grant funding, incorporating qualitative measures and acknowledging the diverse nature of research impact. (shrink)

Recently many methods for reducing the risk of human extinction have been suggested, including building refuges underground and in space. Here we will discuss the perspective of using military nuclear submarines or their derivatives to ensure the survival of a small portion of humanity who will be able to rebuild human civilization after a large catastrophe. We will show that it is a very cost-effective way to build refuges, and viable solutions exist for various budgets and timeframes. Nuclear submarines are (...) surface independent, and could provide energy, oxygen, fresh water and perhaps even food for their inhabitants for years. They are able to withstand close nuclear explosions and radiation. They are able to maintain isolation from biological attacks and most known weapons. They already exist and need only small adaptation to be used as refuges. But building refuges is only “Plan B” of existential risk preparation; it is better to eliminate such risks than try to survive them. (shrink)

There are two types of artificial general intelligence (AGI) safety solutions: global and local. Most previously suggested solutions are local: they explain how to align or “box” a specific AI (Artificial Intelligence), but do not explain how to prevent the creation of dangerous AI in other places. Global solutions are those that ensure any AI on Earth is not dangerous. The number of suggested global solutions is much smaller than the number of proposed local solutions. Global solutions can be divided (...) into four groups: 1. No AI: AGI technology is banned or its use is otherwise prevented; 2. One AI: the first superintelligent AI is used to prevent the creation of any others; 3. Net of AIs as AI police: a balance is created between many AIs, so they evolve as a net and can prevent any rogue AI from taking over the world; 4. Humans inside AI: humans are augmented or part of AI. We explore many ideas, both old and new, regarding global solutions for AI safety. They include changing the number of AI teams, different forms of “AI Nanny” (non-self-improving global control AI system able to prevent creation of dangerous AIs), selling AI safety solutions, and sending messages to future AI. Not every local solution scales to a global solution or does it ethically and safely. The choice of the best local solution should include understanding of the ways in which it will be scaled up. Human-AI teams or a superintelligent AI Service as suggested by Drexler may be examples of such ethically scalable local solutions, but the final choice depends on some unknown variables such as the speed of AI progress. (shrink)

This paper argues that the Fairtrade certification system represents an illuminating example of the challenge of systematically determining consumer and entrepreneurial responsibilities in our global age. In taking up the central question of what, if anything, may be called ‘just’ or ‘fair’ in Fairtrade, I more precisely argue for a two-fold thesis: that a meaningful evaluation of Fairtrade must consider both an interactional and an institutional understanding of global responsibilities to promote justice and that Fairtrade can be better defended against (...) several popular objections from the perspective of a theory that adequately differentiates between interactional responsibilities and institutional responsibilities of promoting justice under unjust circumstances. (shrink)

The goal of the article is to explore what is the most probable type of simulation in which humanity lives (if any) and how this affects simulation termination risks. We firstly explore the question of what kind of simulation in which humanity is most likely located based on pure theoretical reasoning. We suggest a new patch to the classical simulation argument, showing that we are likely simulated not by our own descendants, but by alien civilizations. Based on this, we provide (...) classification of different possible simulations and we find that simpler, less expensive and one-person-centered simulations, resurrectional simulations, or simulations of the first artificial general intelligence’s (AGI’s) origin (singularity simulations) should dominate. Also, simulations which simulate the 21st century and global catastrophic risks are probable. We then explore whether the simulation could collapse or be terminated. Most simulations must be terminated after they model the singularity or after they model a global catastrophe before the singularity. Undeniably observed glitches, but not philosophical speculations could result in simulation termination. The simulation could collapse if it is overwhelmed by glitches. The Doomsday Argument in simulations implies termination soon. We conclude that all types of the most probable simulations except resurrectional simulations are prone to termination risks in a relatively short time frame of hundreds of years or less from now. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...) about branching time. (shrink)

Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...) seen and is still seen today as a supporter of this view. The present paper aims to reconsider this interpretation. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

Interdisciplinary research collaboration is crucial for addressing complex global challenges, and measuring researchers' perceptions of it is vital. The Perception of Interdisciplinary Research Collaboration (PIRC) Scale was meticulously developed and validated in this study to enable researchers to assess these perceptions comprehensively. The scale was developed in line with the team science theory. This cross-sectional study involved concept analysis, face and content validity, item pretesting, and pilot testing. A panel of eight specialists from relevant fields meticulously reviewed the items in (...) the instrument, and their inputs and suggestions were followed to refine the instrument, resulting in a 64-item questionnaire. A sample of 1,932 academic staff members with interdisciplinary research experience were selected from six universities in South-South Nigeria for a pilot study. A simple random sampling technique was employed in selecting these participants. Exploratory factor analysis yielded six underlying dimensions within the PIRC Scale, such as: "challenges of Interdisciplinary Disciplinary Research (IDR) collaboration," "IDR collaborative experiences," "motivations for IDR collaboration," "benefits of IDR collaboration," "career impact of IDR collaboration," and "IDR team dynamics." Confirmatory factor analysis confirmed this structure and revealed the bifactor model as the best-fitting model over the unidimensional, oblique and higher-order models. Utilising the Fornell-Larcker approach, strong convergent and discriminant validity was established across all dimensions, with Average Variance Extracted (AVE) above .50 and the square root of the AVE for all factors being greater than the correlation coefficients of each factor with other factors. Cronbach's alpha and McDonald's omega values exceeded the acceptable threshold of 0.70, with item-total correlation analyses further supporting the reliability of each sub-scale and the overall instrument. In conclusion, the PIRC scale can be valuable for researchers, institutions, and policymakers to assess and enhance interdisciplinary research collaboration. It can empower stakeholders to obtain useful information about researchers' perceptions of interdisciplinary research, promote effective collaboration, allocate resources efficiently, and foster innovation. (shrink)

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen (...) unserer Zeit. Wir müssen mit Blick auf den politischen und individuellen Umgang mit der Weltarmut umdenken, so lautet die zentrale Forderung dieser Studie. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

The problem of surviving the end of the observable universe may seem very remote, but there are several reasons it may be important now: a) we may need to define soon the final goals of runaway space colonization and of superintelligent AI, b) the possibility of the solution will prove the plausibility of indefinite life extension, and с) the understanding of risks of the universe’s end will help us to escape dangers like artificial false vacuum decay. A possible solution depends (...) on the type of the universe’s ending that may be expected: very slow heat death or some abrupt end, like a Big Rip or Big Crunch. We have reviewed the literature and identified several possible ways of survival the end of the universe, and also suggest several new ones. There are seven main approaches to escape the end of the universe: use the energy of the catastrophic process for computations, move to a parallel world, prevent the end, survive the end, manipulate time, avoid the problem entirely or find some meta-level solution. (shrink)

Abstract: After 2017 NY Times publication, the stigma of the scientific discussion of the problem of so-called UAP (Unidentified Aerial Phenomena) was lifted. Now the question arises: how UAP will affect the future of humanity, and especially, the probability of the global catastrophic risks? To answer this question, we assume that the Nimitz case in 2004 was real and we will suggest a classification of the possible explanations of the phenomena. The first level consists of mundane explanations: hardware glitches, malfunction, (...) hoaxes and lies. The second level involves explanations which are not changing completely our model of the world, but only updating it: new military tech, large psyop operation or new physical effect like ball lightning. The third level of explanations requires a complete overhaul of our world model and includes a large set of fantastic hypothesis: alien starships, interdimensional beings, glitches in the matrix, projections from the collective unconsciousness, Boltzmann brain’s experiences etc. The higher is the level of the hypothesis, the less probable it is, but the bigger is its consequences for possible global catastrophic risks. Thus, “integrating” over the field of all possible explanations, we find that UAP increases catastrophic risks. Technological progress increases our chances of direct confrontation with the phenomena. If the phenomenon has intelligence, the change of its behavior could be unexpected after we pass some unknown threshold. But we could lower the risks if we assume some reasonable policy of escaping confrontations. (shrink)

With the fast pace of AI development, the problem of preventing its global catastrophic risks arises. However, no satisfactory solution has been found. From several possibilities, the confinement of AI in a box is considered as a low-quality possible solution for AI safety. However, some treacherous AIs can be stopped by effective confinement if it is used as an additional measure. Here, we proposed an idealized model of the best possible confinement by aggregating all known ideas in the field of (...) AI boxing. We model the confinement based on the principles used in the safety engineering of nuclear power plants. We show that AI confinement should be implemented in several levels of defense. These levels include 1) AI design in fail-safe manner 2) limiting its capabilities, preventing self-improving and circuit breakers on treacherous turn 3) isolation from the outside world and, lastly, as the final hope 4) outside measures oriented on stopping AI in the wild. We demonstrate that the substantial number (more than 50 ideas listed in the article) of mutually independent measures could provide a relatively high probability of the containment of a human-level AI but may be not sufficient to preserve runaway of superintelligent AI. Thus, these measures will work only if they are used to prevent superintelligent AI creation, but not for containing superintelligence. We suggest that there could be a safe operation threshold, on which AI is useful, but is not able to hack containment system from the inside, the same way as a safe level of chain reaction inside nuclear power plants is maintained. However, overall, a failure of the confinement is inevitable, so we need to use the full AGI limited number of times (AI-ticks). (shrink)

Abstract: The field of life extension is full of ideas but they are unstructured. Here we suggest a comprehensive strategy for reaching personal immortality based on the idea of multilevel defense, where the next life-preserving plan is implemented if the previous one fails, but all plans need to be prepared simultaneously in advance. The first plan, plan A, is the surviving until advanced AI creation via fighting aging and other causes of death and extending one’s life. Plan B is cryonics, (...) which starts if plan A fails, and assumes cryopreservation of the brain until technical capabilities to return it to life appear. Plan C is digital immortality in the sense of collecting data about the person now so future AI will be able to recreate a model of a person. Plan D is the hope based on some unlikely scenarios of infinite survival, like so-called “quantum immortality”. All these plans have personal and social perspective. The personal aspect means efforts of the increasing chances of personal survival via taking care about one’s own health, signing cryocontract or collecting digital immortality data. The social aspect means the participation in collective work towards creation and increase of the availability of life extension technologies, which includes funding scientific research, promotion of life extension value and direct performing of research and implementation, as well as preventing global catastrophic risk. All plans converge at the end, as their result is the indefinite survival as an uploaded mind inside an ecosystem, created by a superintelligent AI. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.